1. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
164
2. Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
164
3. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
Author: / Edited by Edmund Clarke, Dexter Kozen
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
Classification :
QA76
.
6
.
L5855
1985
